منابع مشابه
Pregeometries and Imaginaries
We give two alternative proofs of the fact that a modular, surgical pregeometric theory admits geometric elimination of imaginaries.
متن کاملImaginaries in Hilbert spaces
We characterise imaginaries (up to interdefinability) in Hilbert spaces using a Galois theory for compact unitary groups.
متن کاملGroupoids, Imaginaries and Internal Covers
The questions this manuscript addresses arose in the course of an investigation of the imaginary sorts in ultraproducts of p-adic fields. These were shown to be understandable given the imaginary sorts of certain finite-dimensional vector spaces over the residue field. The residue field is pseudo-finite, and the imaginary elements there were previously studied, and shown in fact to be eliminabl...
متن کاملImaginaries in Boolean algebras
Given an infinite Boolean algebra B, we find a natural class of ∅-definable equivalence relations EB such that every imaginary element from B is interdefinable with an element from a sort determined by some equivalence relation from EB . It follows that B together with the family of sorts determined by EB admits elimination of imaginaries in a suitable multisorted language. The paper generalize...
متن کاملOn Finite Imaginaries
We study finite imaginaries in certain valued fields, and prove a conjecture of Cluckers and Denef.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science, Technology, & Human Values
سال: 2017
ISSN: 0162-2439,1552-8251
DOI: 10.1177/0162243917737366